Merge pull request #1141 from robertovargas-arm/boot_redundancy
authordavidcunado-arm <[email protected]>
Tue, 31 Oct 2017 23:21:39 +0000 (23:21 +0000)
committerGitHub <[email protected]>
Tue, 31 Oct 2017 23:21:39 +0000 (23:21 +0000)
Add platform hooks for boot redundancy support


Trivial merge